<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>Automate finit non déterministe: Référence du fichier ndet.cpp</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td id="projectlogo"><img alt="Logo" src="automate.png"/></td>
  <td style="padding-left: 0.5em;">
   <div id="projectname">Automate finit non déterministe
   &#160;<span id="projectnumber">1.0</span>
   </div>
   <div id="projectbrief">Projet noté de LIF15 Théorie des languages formels</div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Généré par Doxygen 1.8.1.2 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Recherche');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Page&#160;principale</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Fichiers</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Recherche" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="files.html"><span>Liste&#160;des&#160;fichiers</span></a></li>
      <li><a href="globals.html"><span>Membres&#160;de&#160;fichier</span></a></li>
    </ul>
  </div>
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>Tout</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Fichiers</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Fonctions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark">&#160;</span>Définitions de type</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(6)"><span class="SelectionMark">&#160;</span>Pages</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

</div><!-- top -->
<div class="header">
  <div class="summary">
<a href="#nested-classes">Classes</a> &#124;
<a href="#typedef-members">Définitions de type</a> &#124;
<a href="#func-members">Fonctions</a> &#124;
<a href="#var-members">Variables</a>  </div>
  <div class="headertitle">
<div class="title">Référence du fichier ndet.cpp</div>  </div>
</div><!--header-->
<div class="contents">
<div class="textblock"><code>#include &lt;iostream&gt;</code><br/>
<code>#include &lt;fstream&gt;</code><br/>
<code>#include &lt;sstream&gt;</code><br/>
<code>#include &lt;cstdlib&gt;</code><br/>
<code>#include &lt;vector&gt;</code><br/>
<code>#include &lt;set&gt;</code><br/>
<code>#include &lt;string&gt;</code><br/>
</div><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2><a name="nested-classes"></a>
Classes</h2></td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structs_auto_n_d.html">sAutoND</a></td></tr>
<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Répresente un automate finit non deterministe sans epsilon transition.  <a href="structs_auto_n_d.html#details">Plus de détails...</a><br/></td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2><a name="typedef-members"></a>
Définitions de type</h2></td></tr>
<tr class="memitem:a0aaaf5dcb9b900bbb7716728ff3b8da4"><td class="memItemLeft" align="right" valign="top">typedef size_t&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ndet_8cpp.html#a0aaaf5dcb9b900bbb7716728ff3b8da4">etat_t</a></td></tr>
<tr class="memitem:a91dbe23dca2555df380346ad4cd7dd27"><td class="memItemLeft" align="right" valign="top">typedef unsigned char&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ndet_8cpp.html#a91dbe23dca2555df380346ad4cd7dd27">symb_t</a></td></tr>
<tr class="memitem:a12aad26cf890922d3f21f82e3afcb383"><td class="memItemLeft" align="right" valign="top">typedef set&lt; <a class="el" href="ndet-epsilon_8cpp.html#a0aaaf5dcb9b900bbb7716728ff3b8da4">etat_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ndet_8cpp.html#a12aad26cf890922d3f21f82e3afcb383">etatset_t</a></td></tr>
<tr class="memitem:a95c8431aa0c985938baaf8d320fc0035"><td class="memItemLeft" align="right" valign="top">typedef vector&lt; vector<br class="typebreak"/>
&lt; <a class="el" href="ndet-epsilon_8cpp.html#a12aad26cf890922d3f21f82e3afcb383">etatset_t</a> &gt; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ndet_8cpp.html#a95c8431aa0c985938baaf8d320fc0035">trans_t</a></td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2><a name="func-members"></a>
Fonctions</h2></td></tr>
<tr class="memitem:a0144083d989c819c9e4416839d7a3f72"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ndet_8cpp.html#a0144083d989c819c9e4416839d7a3f72">FromFile</a> (<a class="el" href="structs_auto_n_d.html">sAutoND</a> &amp;at, string path)</td></tr>
<tr class="memdesc:a0144083d989c819c9e4416839d7a3f72"><td class="mdescLeft">&#160;</td><td class="mdescRight">FromFile lit le fichier en entré et remplit la structure automate avec les informations luent.  <a href="#a0144083d989c819c9e4416839d7a3f72"></a><br/></td></tr>
<tr class="memitem:ac9c4dfaa3142951ecd30e843f8a75e3b"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ndet_8cpp.html#ac9c4dfaa3142951ecd30e843f8a75e3b">ContientFinal</a> (const <a class="el" href="structs_auto_n_d.html">sAutoND</a> &amp;at, const <a class="el" href="ndet-epsilon_8cpp.html#a12aad26cf890922d3f21f82e3afcb383">etatset_t</a> &amp;e)</td></tr>
<tr class="memdesc:ac9c4dfaa3142951ecd30e843f8a75e3b"><td class="mdescLeft">&#160;</td><td class="mdescRight">EstDeterministe Test si l'automate passé en argument est déterministe.  <a href="#ac9c4dfaa3142951ecd30e843f8a75e3b"></a><br/></td></tr>
<tr class="memitem:a606ef66daef16f0b3dc666318dcdfc2d"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ndet_8cpp.html#a606ef66daef16f0b3dc666318dcdfc2d">EstDeterministe</a> (const <a class="el" href="structs_auto_n_d.html">sAutoND</a> &amp;at)</td></tr>
<tr class="memdesc:a606ef66daef16f0b3dc666318dcdfc2d"><td class="mdescLeft">&#160;</td><td class="mdescRight">EstDeterministe Test si l'automate passé en argument est déterministe.  <a href="#a606ef66daef16f0b3dc666318dcdfc2d"></a><br/></td></tr>
<tr class="memitem:a87dd78432db9400836eb64bc0cdc2189"><td class="memItemLeft" align="right" valign="top"><a class="el" href="ndet-epsilon_8cpp.html#a12aad26cf890922d3f21f82e3afcb383">etatset_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ndet_8cpp.html#a87dd78432db9400836eb64bc0cdc2189">Delta</a> (const <a class="el" href="structs_auto_n_d.html">sAutoND</a> &amp;at, const <a class="el" href="ndet-epsilon_8cpp.html#a12aad26cf890922d3f21f82e3afcb383">etatset_t</a> &amp;e, <a class="el" href="ndet-epsilon_8cpp.html#a91dbe23dca2555df380346ad4cd7dd27">symb_t</a> c)</td></tr>
<tr class="memdesc:a87dd78432db9400836eb64bc0cdc2189"><td class="mdescLeft">&#160;</td><td class="mdescRight">Delta Cette fonction prend un automate, un ensemble d'état E={e_0, e_1, ... ,e_n} et renvoie l'ensemble des états accessibles depuis au moins un des e_i. Autrement dit, c'est l'union des ensembles d'états x_i tels que x_i = {x | (e_i,c,x) in Delta}.  <a href="#a87dd78432db9400836eb64bc0cdc2189"></a><br/></td></tr>
<tr class="memitem:a46b2ad9a9a79a076ef9c8db8f3277bc9"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ndet_8cpp.html#a46b2ad9a9a79a076ef9c8db8f3277bc9">Accept</a> (const <a class="el" href="structs_auto_n_d.html">sAutoND</a> &amp;at, string str)</td></tr>
<tr class="memdesc:a46b2ad9a9a79a076ef9c8db8f3277bc9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Accept Cette fonction prend en argument un automate et détermine si il accepte le mot str.  <a href="#a46b2ad9a9a79a076ef9c8db8f3277bc9"></a><br/></td></tr>
<tr class="memitem:a0ddf1224851353fc92bfbff6f499fa97"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ndet_8cpp.html#a0ddf1224851353fc92bfbff6f499fa97">main</a> (int argc, char *argv[])</td></tr>
<tr class="memdesc:a0ddf1224851353fc92bfbff6f499fa97"><td class="mdescLeft">&#160;</td><td class="mdescRight">main Fonction principale  <a href="#a0ddf1224851353fc92bfbff6f499fa97"></a><br/></td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2><a name="var-members"></a>
Variables</h2></td></tr>
<tr class="memitem:a93c31eb5d6b49e710b3cf3eb878cc89f"><td class="memItemLeft" align="right" valign="top">const unsigned int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ndet_8cpp.html#a93c31eb5d6b49e710b3cf3eb878cc89f">ASCII_A</a> = 97</td></tr>
<tr class="memitem:a687dc2d37dd96dcace2acb6fcf5b3cac"><td class="memItemLeft" align="right" valign="top">const unsigned int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ndet_8cpp.html#a687dc2d37dd96dcace2acb6fcf5b3cac">ASCII_Z</a> = <a class="el" href="ndet_8cpp.html#a93c31eb5d6b49e710b3cf3eb878cc89f">ASCII_A</a> + 26</td></tr>
</table>
<h2>Documentation des définitions de type</h2>
<a class="anchor" id="a0aaaf5dcb9b900bbb7716728ff3b8da4"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">typedef size_t <a class="el" href="ndet-epsilon_8cpp.html#a0aaaf5dcb9b900bbb7716728ff3b8da4">etat_t</a></td>
        </tr>
      </table>
</div><div class="memdoc">

</div>
</div>
<a class="anchor" id="a12aad26cf890922d3f21f82e3afcb383"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">typedef set&lt; <a class="el" href="ndet-epsilon_8cpp.html#a0aaaf5dcb9b900bbb7716728ff3b8da4">etat_t</a> &gt; <a class="el" href="ndet-epsilon_8cpp.html#a12aad26cf890922d3f21f82e3afcb383">etatset_t</a></td>
        </tr>
      </table>
</div><div class="memdoc">

</div>
</div>
<a class="anchor" id="a91dbe23dca2555df380346ad4cd7dd27"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">typedef unsigned char <a class="el" href="ndet-epsilon_8cpp.html#a91dbe23dca2555df380346ad4cd7dd27">symb_t</a></td>
        </tr>
      </table>
</div><div class="memdoc">

</div>
</div>
<a class="anchor" id="a95c8431aa0c985938baaf8d320fc0035"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">typedef vector&lt; vector&lt; <a class="el" href="ndet-epsilon_8cpp.html#a12aad26cf890922d3f21f82e3afcb383">etatset_t</a> &gt; &gt; <a class="el" href="ndet-epsilon_8cpp.html#a95c8431aa0c985938baaf8d320fc0035">trans_t</a></td>
        </tr>
      </table>
</div><div class="memdoc">

</div>
</div>
<h2>Documentation des fonctions</h2>
<a class="anchor" id="a46b2ad9a9a79a076ef9c8db8f3277bc9"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">bool Accept </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="structs_auto_n_d.html">sAutoND</a> &amp;&#160;</td>
          <td class="paramname"><em>at</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype">string&#160;</td>
          <td class="paramname"><em>str</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>Accept Cette fonction prend en argument un automate et détermine si il accepte le mot str. </p>
<dl class="params"><dt>Paramètres</dt><dd>
  <table class="params">
    <tr><td class="paramname">at</td><td>automate </td></tr>
    <tr><td class="paramname">str</td><td>chaine de caractère de type string à lire par l'automate </td></tr>
  </table>
  </dd>
</dl>
<dl class="section return"><dt>Renvoie</dt><dd>VRAI si la chaine de caractère passé en argument est acceptée par l'automate, FAUX sinon </dd></dl>

</div>
</div>
<a class="anchor" id="ac9c4dfaa3142951ecd30e843f8a75e3b"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">bool ContientFinal </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="structs_auto_n_d.html">sAutoND</a> &amp;&#160;</td>
          <td class="paramname"><em>at</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype">const <a class="el" href="ndet-epsilon_8cpp.html#a12aad26cf890922d3f21f82e3afcb383">etatset_t</a> &amp;&#160;</td>
          <td class="paramname"><em>e</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>EstDeterministe Test si l'automate passé en argument est déterministe. </p>
<dl class="params"><dt>Paramètres</dt><dd>
  <table class="params">
    <tr><td class="paramname">at</td><td>automate </td></tr>
  </table>
  </dd>
</dl>
<dl class="section return"><dt>Renvoie</dt><dd>VRAI si l'automate est déterministe, FALSE sinon </dd></dl>

</div>
</div>
<a class="anchor" id="a87dd78432db9400836eb64bc0cdc2189"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="ndet-epsilon_8cpp.html#a12aad26cf890922d3f21f82e3afcb383">etatset_t</a> Delta </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="structs_auto_n_d.html">sAutoND</a> &amp;&#160;</td>
          <td class="paramname"><em>at</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype">const <a class="el" href="ndet-epsilon_8cpp.html#a12aad26cf890922d3f21f82e3afcb383">etatset_t</a> &amp;&#160;</td>
          <td class="paramname"><em>e</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype"><a class="el" href="ndet-epsilon_8cpp.html#a91dbe23dca2555df380346ad4cd7dd27">symb_t</a>&#160;</td>
          <td class="paramname"><em>c</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>Delta Cette fonction prend un automate, un ensemble d'état E={e_0, e_1, ... ,e_n} et renvoie l'ensemble des états accessibles depuis au moins un des e_i. Autrement dit, c'est l'union des ensembles d'états x_i tels que x_i = {x | (e_i,c,x) in Delta}. </p>
<dl class="params"><dt>Paramètres</dt><dd>
  <table class="params">
    <tr><td class="paramname">at</td><td>automate </td></tr>
    <tr><td class="paramname">e</td><td>ensemble d'états </td></tr>
    <tr><td class="paramname">c</td><td>symbole à lire par l'automate de type unsigned char </td></tr>
  </table>
  </dd>
</dl>
<dl class="section return"><dt>Renvoie</dt><dd></dd></dl>

</div>
</div>
<a class="anchor" id="a606ef66daef16f0b3dc666318dcdfc2d"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">bool EstDeterministe </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="structs_auto_n_d.html">sAutoND</a> &amp;&#160;</td>
          <td class="paramname"><em>at</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>EstDeterministe Test si l'automate passé en argument est déterministe. </p>
<dl class="params"><dt>Paramètres</dt><dd>
  <table class="params">
    <tr><td class="paramname">at</td><td>automate </td></tr>
  </table>
  </dd>
</dl>
<dl class="section return"><dt>Renvoie</dt><dd>VRAI si l'automate est déterministe, FALSE sinon </dd></dl>

</div>
</div>
<a class="anchor" id="a0144083d989c819c9e4416839d7a3f72"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">bool FromFile </td>
          <td>(</td>
          <td class="paramtype"><a class="el" href="structs_auto_n_d.html">sAutoND</a> &amp;&#160;</td>
          <td class="paramname"><em>at</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype">string&#160;</td>
          <td class="paramname"><em>path</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>FromFile lit le fichier en entré et remplit la structure automate avec les informations luent. </p>
<dl class="params"><dt>Paramètres</dt><dd>
  <table class="params">
    <tr><td class="paramname">at</td><td>automate à renseigner </td></tr>
    <tr><td class="paramname">path</td><td>chemin du fichier contenant la description de l'automate </td></tr>
  </table>
  </dd>
</dl>
<dl class="section return"><dt>Renvoie</dt><dd>TRUE si la lecture s'est bien passée, FALSE sinon </dd></dl>

</div>
</div>
<a class="anchor" id="a0ddf1224851353fc92bfbff6f499fa97"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">int main </td>
          <td>(</td>
          <td class="paramtype">int&#160;</td>
          <td class="paramname"><em>argc</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype">char *&#160;</td>
          <td class="paramname"><em>argv</em>[]&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>main Fonction principale </p>

</div>
</div>
<h2>Documentation des variables</h2>
<a class="anchor" id="a93c31eb5d6b49e710b3cf3eb878cc89f"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">const unsigned int ASCII_A = 97</td>
        </tr>
      </table>
</div><div class="memdoc">

</div>
</div>
<a class="anchor" id="a687dc2d37dd96dcace2acb6fcf5b3cac"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">const unsigned int ASCII_Z = <a class="el" href="ndet_8cpp.html#a93c31eb5d6b49e710b3cf3eb878cc89f">ASCII_A</a> + 26</td>
        </tr>
      </table>
</div><div class="memdoc">

</div>
</div>
</div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Généré le Dimanche Novembre 25 2012 13:57:51 pour Automate finit non déterministe par &#160;<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.8.1.2
</small></address>
</body>
</html>
